:5谓词公式$xA(x) ÙØ $xA(x)的类型是A:非永真式的可满足式B:无法确定C:矛盾式D:永真式